Nuprl Definition : universe def 9,38
Type is Primitive 
latex

clarification:

Type{i} is Primitive 
latex

DefinitionsType
FDL editor aliasesuniv

origin